Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
751	Differential Logic Programs: Programming Methodologies and Semantics A. Bossi M. Bugliesi Dipartimento di Matematica Pura ed Applicata Universit` a di Padova via Belzoni 7, 35131 Padova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:41:34 Predicate logic Functions and mappings Logic programming Predicate Prolog Function Resolution Logic Mathematics Mathematical logic
752	Algorithms Lecture 5: Dynamic Programming [Fa’14] Those who cannot remember the past are doomed to repeat it. — George Santayana, The Life of Reason, Book I: Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:26 Dynamic programming Mathematical logic Operations research Programming idioms Algorithm Levenshtein distance Recursion Longest increasing subsequence Fibonacci number Mathematics Applied mathematics Theoretical computer science
753	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-09-12 20:06:31 Lisp programming language Functional programming Data types Higher-order functions Cons Scheme programming language Append CAR and CDR Scheme Software engineering Computing Computer programming
754	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:23:38 Functional languages Type theory Procedural programming languages Logic in computer science Cross-platform software Type system OCaml Coq ML Software engineering Computing Programming language theory
755	Inductive Programming Meets the Real World Sumit Gulwani José Hernández-Orallo Stephen H. Muggleton Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-04 21:08:00 Programming paradigms Cybernetics Learning Machine learning Domain-specific language End-user development Logic programming Inductive logic programming Usability Software engineering Computing Human–computer interaction
756	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics
757	Under consideration for publication in J. Functional Programming 1 The Arrow Calculus Sam Lindley, Philip Wadler, and Jeremy Yallop Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2009-10-19 06:42:21 Lambda calculus Computability theory Fixed-point combinator Arrow Quiver Natural deduction Combinatory logic Theoretical computer science Mathematics Applied mathematics
758	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Geometric Hitting Set and Set Cover Problems with Half-Strips Apurva Mudgal ∗, ‡ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-06-20 06:19:10 Mathematical logic Computational complexity theory Gadget Clause Variable Theoretical computer science Mathematics Logic programming
759	Rina Dechter Information and Computer Science Irvine, CAemail: www.ics.uci.edu/˜ dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-06-07 01:39:08 Artificial intelligence Ambient intelligence Logic programming Year of birth missing
760	Microsoft PowerPoint - ReserachComputerScience.ppt [Compatibility Mode] Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2015-03-10 11:49:14 Research methods Theoretical computer science Design science Engineering design Research Formal language Information systems Formalism Programming language Science Logic Mathematics

UPDATE